HindleyMilner type system - PDFSEARCH.IO - Document Search Engine

HindleyMilner type system
Results: 26

#	Item
11	Microsoft Word - Math courses online at SIU Add to Reading List Source URL: extendedcampus.siu.edu Language: English - Date: 2016-08-01 14:25:57 Textbook HindleyMilner type system XTR
12	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
13	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
14	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: pirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Algorithms HindleyMilner type system Lambda calculus Theoretical computer science Type inference Type theory Variable Questionnaire
15	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML
16	A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:29 Type theory Matita Agda Unification Calculus of constructions Type system HindleyMilner type system System F Refinement Type inference Algorithm Dependent type
17	Visible Type Application (Extended version) Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2015-10-16 15:01:14 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Glasgow Haskell Compiler Type system Monad Haskell Principal type
18	xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................ Add to Reading List Source URL: potassco.sourceforge.net Language: English - Date: 2012-10-22 07:00:02 Mathematics Constraint programming Declarative programming Software engineering Formal methods Theoretical computer science Lambda calculus Syntax Variable HindleyMilner type system Constraint logic programming Local consistency
19	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
20	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion